adversarial procedure